Bpt theorem